<html>
<head><meta charset="utf-8"><title>Zulip Chat Archive</title></head>
<h2> Stream: <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/index.html">t-compiler/wg-polonius</a></h2>
<hr>

<h3>Topics:</h3>

<ul>
<li> <a href="topic/Reviewing.20Datafrog.20PRs.html">Reviewing Datafrog PRs</a> (41 messages, latest: Aug 04 2021 at 23:32) </li>
<li> <a href="topic/Polonius.20Hackathon.202021-07-30.html">Polonius Hackathon 2021-07-30</a> (441 messages, latest: Aug 03 2021 at 22:10) </li>
<li> <a href="topic/Polonius.20Parser.html">Polonius Parser</a> (86 messages, latest: Aug 03 2021 at 10:47) </li>
<li> <a href="topic/Longer.20term.html">Longer term</a> (55 messages, latest: Aug 01 2021 at 22:42) </li>
<li> <a href="topic/Higher-ranked.20errors.html">Higher-ranked errors</a> (320 messages, latest: Aug 01 2021 at 15:21) </li>
<li> <a href="topic/Challenges.20for.20move.2Finit.2C.20liveness.2C.20and.20.60Location.3A.3AAll.60.html">Challenges for move/init, liveness, and `Location::All`</a> (10 messages, latest: Aug 01 2021 at 11:16) </li>
<li> <a href="topic/Visualization.20tool.html">Visualization tool</a> (72 messages, latest: Jul 31 2021 at 15:55) </li>
<li> <a href="topic/Book.20and.20rules.html">Book and rules</a> (9 messages, latest: Jul 30 2021 at 18:01) </li>
<li> <a href="topic/Disjunction.html">Disjunction</a> (20 messages, latest: Jul 30 2021 at 16:34) </li>
<li> <a href="topic/subset.20relations.20PR.20polonius.23156.html">subset relations PR polonius#156</a> (37 messages, latest: Jul 30 2021 at 16:11) </li>
<li> <a href="topic/datafrog.20PRs.html">datafrog PRs</a> (8 messages, latest: Jul 30 2021 at 15:30) </li>
<li> <a href="topic/move.2Finit.20analysis.20for.20visualization.html">move/init analysis for visualization</a> (12 messages, latest: Jul 27 2021 at 22:31) </li>
<li> <a href="topic/question.20about.20clippy.html">question about clippy</a> (5 messages, latest: Jul 23 2021 at 19:32) </li>
<li> <a href="topic/starting.20a.20cadence.html">starting a cadence</a> (26 messages, latest: Jul 14 2021 at 14:34) </li>
<li> <a href="topic/general.html">general</a> (316 messages, latest: Jul 14 2021 at 09:47) </li>
<li> <a href="topic/Deal.20with.20function.20call.html">Deal with function call</a> (6 messages, latest: Jun 13 2021 at 12:19) </li>
<li> <a href="topic/sprints.html">sprints</a> (30 messages, latest: May 17 2021 at 19:28) </li>
<li> <a href="topic/Quantifier.20elimination.20for.20HRTBs.html">Quantifier elimination for HRTBs</a> (22 messages, latest: May 17 2021 at 13:40) </li>
<li> <a href="topic/Understanding.20the.20Polonius.20model.html">Understanding the Polonius model</a> (19 messages, latest: Apr 01 2021 at 21:16) </li>
<li> <a href="topic/Polonius.20for.20rust-analyzer.html">Polonius for rust-analyzer</a> (2 messages, latest: Feb 27 2021 at 16:16) </li>
<li> <a href="topic/New.20name.20.3Cinsert.20move.20joke.20here.3E.html">New name &lt;insert move joke here&gt;</a> (1 message, latest: Feb 27 2021 at 13:35) </li>
<li> <a href="topic/Will.20polonius.20help.20with.20cases.20like.20this.3F.html">Will polonius help with cases like this?</a> (13 messages, latest: Jan 24 2021 at 18:12) </li>
<li> <a href="topic/Using.20Souffl.C3.A9.html">Using Soufflé</a> (64 messages, latest: Jan 06 2021 at 11:53) </li>
<li> <a href="topic/Alternative.20.60Relation.60.20representations.html">Alternative `Relation` representations</a> (17 messages, latest: Jan 04 2021 at 21:30) </li>
<li> <a href="topic/Basic.20Blocks.html">Basic Blocks</a> (10 messages, latest: Jan 02 2021 at 00:10) </li>
<li> <a href="topic/Optimization.20PRs.html">Optimization PRs</a> (90 messages, latest: Jan 01 2021 at 23:37) </li>
<li> <a href="topic/Intuition.20for.20.60DatafrogOpt.60.html">Intuition for `DatafrogOpt`</a> (3 messages, latest: Jan 01 2021 at 22:45) </li>
<li> <a href="topic/Endgame.20for.20Polonius.3F.html">Endgame for Polonius?</a> (16 messages, latest: Jan 01 2021 at 22:23) </li>
<li> <a href="topic/2021.20sprints.html">2021 sprints</a> (21 messages, latest: Dec 27 2020 at 12:12) </li>
<li> <a href="topic/datalog.20interpreter.20impl.html">datalog interpreter impl</a> (31 messages, latest: Dec 08 2020 at 17:24) </li>
<li> <a href="topic/Still.20(reasonably).20live.html">Still (reasonably) live</a> (8 messages, latest: Dec 02 2020 at 19:19) </li>
<li> <a href="topic/Datalog.20and.20incremental.20SMT.20solving.html">Datalog and incremental SMT solving</a> (16 messages, latest: Dec 02 2020 at 13:41) </li>
<li> <a href="topic/polonius.20questions.html">polonius questions</a> (39 messages, latest: Oct 28 2020 at 18:58) </li>
<li> <a href="topic/compiling.20branches.20to.20MIR.html">compiling branches to MIR</a> (3 messages, latest: Oct 28 2020 at 17:17) </li>
<li> <a href="topic/Starting.20with.20Polonius.html">Starting with Polonius</a> (11 messages, latest: Sep 21 2020 at 11:45) </li>
<li> <a href="topic/Datalog.20as.20an.20oracle.html">Datalog as an oracle</a> (4 messages, latest: Aug 12 2020 at 19:56) </li>
<li> <a href="topic/move.20error.20reporting.html">move error reporting</a> (326 messages, latest: Aug 06 2020 at 18:48) </li>
<li> <a href="topic/rustc.20tests.html">rustc tests</a> (12 messages, latest: Aug 06 2020 at 18:39) </li>
<li> <a href="topic/sprint.20coordination.20Aug.203.20to.20Aug.205.html">sprint coordination Aug 3 to Aug 5</a> (232 messages, latest: Aug 06 2020 at 10:12) </li>
<li> <a href="topic/subset.20errors.20rework.html">subset errors rework</a> (272 messages, latest: Aug 05 2020 at 23:21) </li>
<li> <a href="topic/fixing.20the.20.60Location.3A.3AAll.60.20OOMs.20during.20fact.20generation.html">fixing the `Location::All` OOMs during fact generation</a> (158 messages, latest: Aug 05 2020 at 13:39) </li>
<li> <a href="topic/equality.20variant.20vs.20polonius-as-is.html">equality variant vs polonius-as-is</a> (137 messages, latest: Aug 04 2020 at 18:03) </li>
<li> <a href="topic/placeholder.20loans.20vs.20subsets.html">placeholder loans vs subsets</a> (80 messages, latest: Aug 03 2020 at 18:22) </li>
<li> <a href="topic/loans.20in.20scope.html">loans in scope</a> (7 messages, latest: Aug 03 2020 at 16:18) </li>
<li> <a href="topic/scheduling.20some.20sprints.html">scheduling some sprints</a> (136 messages, latest: Aug 03 2020 at 13:29) </li>
<li> <a href="topic/Using.20Datapond.20in.20Polonius.html">Using Datapond in Polonius</a> (24 messages, latest: Aug 03 2020 at 13:21) </li>
<li> <a href="topic/Getting.20outlives.20constraints.20from.20mir.3A.3ATerminatorKind.3A.3ACall.html">Getting outlives constraints from mir::TerminatorKind::Call</a> (1 message, latest: Aug 02 2020 at 13:29) </li>
<li> <a href="topic/workaround.20for.20known.20improperly.20reduced.20borrows.html">workaround for known improperly reduced borrows</a> (4 messages, latest: Jul 15 2020 at 08:00) </li>
<li> <a href="topic/dafny.html">dafny</a> (15 messages, latest: Jul 07 2020 at 08:01) </li>
<li> <a href="topic/move.20errors.3A.20partial.20assignments.20to.20moved.20variables.html">move errors: partial assignments to moved variables</a> (8 messages, latest: Jul 06 2020 at 17:24) </li>
<li> <a href="topic/sprint.20week.html">sprint week</a> (14 messages, latest: May 29 2020 at 07:16) </li>
<li> <a href="topic/State.20of.20-Zpolonius.html">State of -Zpolonius</a> (7 messages, latest: May 20 2020 at 08:06) </li>
<li> <a href="topic/cheering.20from.20the.20sidelines.html">cheering from the sidelines</a> (3 messages, latest: Apr 24 2020 at 15:44) </li>
<li> <a href="topic/move.20errors.html">move errors</a> (106 messages, latest: Apr 15 2020 at 13:47) </li>
<li> <a href="topic/sync.20meeting.20still.20on.20calendar.html">sync meeting still on calendar</a> (4 messages, latest: Apr 13 2020 at 20:38) </li>
<li> <a href="topic/placeholder.20loans.20vs.20placeholder.20subsets.html">placeholder loans vs placeholder subsets</a> (12 messages, latest: Mar 17 2020 at 22:00) </li>
<li> <a href="topic/issue.2058053.20in.20polonius.html">issue 58053 in polonius</a> (23 messages, latest: Mar 05 2020 at 22:08) </li>
<li> <a href="topic/NLL.20vs.20Polonius.20examples.html">NLL vs Polonius examples</a> (4 messages, latest: Mar 04 2020 at 17:42) </li>
<li> <a href="topic/meeting.202020.2E03.2E03.html">meeting 2020.03.03</a> (61 messages, latest: Mar 03 2020 at 20:33) </li>
<li> <a href="topic/meeting.202020.2E02.2E25.html">meeting 2020.02.25</a> (155 messages, latest: Feb 28 2020 at 21:22) </li>
<li> <a href="topic/meeting.202020.2E02.2E18.html">meeting 2020.02.18</a> (39 messages, latest: Feb 21 2020 at 16:00) </li>
<li> <a href="topic/multiple.20borrows.20for.20nested.20mutable.20method.20calls.html">multiple borrows for nested mutable method calls</a> (13 messages, latest: Feb 17 2020 at 08:58) </li>
<li> <a href="topic/moving.20to.20a.20.22periodic.20work.20week.22.20pattern.html">moving to a &quot;periodic work week&quot; pattern</a> (8 messages, latest: Feb 14 2020 at 18:29) </li>
<li> <a href="topic/meeting.202020.2E02.2E11.html">meeting 2020.02.11</a> (103 messages, latest: Feb 12 2020 at 11:53) </li>
<li> <a href="topic/meeting.202020.2E02.2E04.html">meeting 2020.02.04</a> (41 messages, latest: Feb 10 2020 at 20:49) </li>
<li> <a href="topic/Wantz.20to.20get.20involved.html">Wantz to get involved</a> (7 messages, latest: Jan 27 2020 at 20:03) </li>
<li> <a href="topic/datalog-to-datafrog.html">datalog-to-datafrog</a> (25 messages, latest: Jan 09 2020 at 10:52) </li>
<li> <a href="topic/notes.20on.20datafrog.html">notes on datafrog</a> (45 messages, latest: Dec 20 2019 at 18:21) </li>
<li> <a href="topic/meeting.202019.2E12.2E17.html">meeting 2019.12.17</a> (14 messages, latest: Dec 17 2019 at 20:03) </li>
<li> <a href="topic/meeting.202019.2E12.2E10.html">meeting 2019.12.10</a> (184 messages, latest: Dec 10 2019 at 20:43) </li>
<li> <a href="topic/meeting.202019.2E12.2E03.html">meeting 2019.12.03</a> (108 messages, latest: Dec 07 2019 at 19:24) </li>
<li> <a href="topic/initialization.html">initialization</a> (745 messages, latest: Nov 26 2019 at 21:55) </li>
<li> <a href="topic/placeholder.20loans.html">placeholder loans</a> (684 messages, latest: Nov 26 2019 at 20:04) </li>
<li> <a href="topic/meeting.202019.2E11.2E26.html">meeting 2019.11.26</a> (14 messages, latest: Nov 26 2019 at 19:33) </li>
<li> <a href="topic/unit.20testing.html">unit testing</a> (52 messages, latest: Nov 20 2019 at 14:17) </li>
<li> <a href="topic/tomorrow&#x27;s.20focus.3F.html">tomorrow&#x27;s focus?</a> (36 messages, latest: Nov 20 2019 at 14:05) </li>
<li> <a href="topic/PR.20rust-lang.2Fpolonius.23139.html">PR rust-lang/polonius#139</a> (4 messages, latest: Nov 19 2019 at 14:23) </li>
<li> <a href="topic/meeting.202019.2E11.2E18.html">meeting 2019.11.18</a> (57 messages, latest: Nov 18 2019 at 18:06) </li>
<li> <a href="topic/meeting.202019.2E11.2E12.html">meeting 2019.11.12</a> (20 messages, latest: Nov 13 2019 at 19:15) </li>
<li> <a href="topic/Make.20Polonius.20input.20facts.20public.html">Make Polonius input facts public</a> (1 message, latest: Nov 12 2019 at 12:26) </li>
<li> <a href="topic/summary.20for.202019.2E11.2E07.20compiler.20meeting.html">summary for 2019.11.07 compiler meeting</a> (6 messages, latest: Nov 07 2019 at 21:54) </li>
<li> <a href="topic/planning.20meeting.202019.2E11.2E05.html">planning meeting 2019.11.05</a> (203 messages, latest: Nov 06 2019 at 11:33) </li>
<li> <a href="topic/Albin&#x27;s.20thesis.20and.20presentation(s.3F).html">Albin&#x27;s thesis and presentation(s?)</a> (102 messages, latest: Nov 01 2019 at 12:15) </li>
<li> <a href="topic/meeting.202019.2E10.2E29.html">meeting 2019.10.29</a> (57 messages, latest: Oct 29 2019 at 20:02) </li>
<li> <a href="topic/trait.20FactTypes.html">trait FactTypes</a> (108 messages, latest: Oct 29 2019 at 19:56) </li>
<li> <a href="topic/vacation.html">vacation</a> (9 messages, latest: Oct 29 2019 at 19:22) </li>
<li> <a href="topic/performance.html">performance</a> (163 messages, latest: Oct 29 2019 at 16:24) </li>
<li> <a href="topic/meeting.202019.2E10.2E22.html">meeting 2019.10.22</a> (104 messages, latest: Oct 23 2019 at 11:14) </li>
<li> <a href="topic/dry.20run.3F.html">dry run?</a> (19 messages, latest: Oct 22 2019 at 19:08) </li>
<li> <a href="topic/meeting.202019.2E10.2E15.html">meeting 2019.10.15</a> (34 messages, latest: Oct 16 2019 at 07:11) </li>
<li> <a href="topic/equality.20regions.html">equality regions</a> (102 messages, latest: Oct 15 2019 at 19:15) </li>
<li> <a href="topic/context.20sharing.20.23134.html">context sharing #134</a> (24 messages, latest: Oct 14 2019 at 12:18) </li>
<li> <a href="topic/liveness.20polonius.23104.html">liveness polonius#104</a> (560 messages, latest: Oct 14 2019 at 11:57) </li>
<li> <a href="topic/meeting.202019.2E10.2E08.html">meeting 2019.10.08</a> (196 messages, latest: Oct 09 2019 at 08:32) </li>
<li> <a href="topic/rustbeltrust.html">rustbeltrust</a> (9 messages, latest: Oct 07 2019 at 17:49) </li>
<li> <a href="topic/names.20of.20atoms.html">names of atoms</a> (81 messages, latest: Oct 07 2019 at 08:58) </li>
<li> <a href="topic/rustc.20compare-mode.20polonius.html">rustc compare-mode polonius</a> (148 messages, latest: Oct 04 2019 at 11:40) </li>
<li> <a href="topic/meeting.202019.2E10.2E01.html">meeting 2019.10.01</a> (96 messages, latest: Oct 01 2019 at 19:34) </li>
<li> <a href="topic/meeting.202019.2E09.2E24.html">meeting 2019.09.24</a> (57 messages, latest: Sep 24 2019 at 19:29) </li>
<li> <a href="topic/current.20status.20of.20compare-mode.20polonius.html">current status of compare-mode polonius</a> (49 messages, latest: Sep 23 2019 at 21:01) </li>
<li> <a href="topic/renaming.html">renaming</a> (9 messages, latest: Sep 20 2019 at 11:58) </li>
<li> <a href="topic/meeting.202019.2E09.2E17.html">meeting 2019.09.17</a> (52 messages, latest: Sep 17 2019 at 19:23) </li>
<li> <a href="topic/book.html">book</a> (50 messages, latest: Sep 13 2019 at 18:51) </li>
<li> <a href="topic/github.20perms.20and.20team.20repo.html">github perms and team repo</a> (19 messages, latest: Sep 13 2019 at 18:37) </li>
<li> <a href="topic/summary.20for.202019.2E09.2E12.20compiler.20meeting.html">summary for 2019.09.12 compiler meeting</a> (4 messages, latest: Sep 12 2019 at 15:22) </li>
<li> <a href="topic/meeting.202019.2E09.2E10.html">meeting 2019.09.10</a> (107 messages, latest: Sep 10 2019 at 19:42) </li>
<li> <a href="topic/reboot.20meeting.202019.2E09.2E03.html">reboot meeting 2019.09.03</a> (130 messages, latest: Sep 03 2019 at 19:44) </li>
<li> <a href="topic/reboot.20meeting.html">reboot meeting</a> (19 messages, latest: Aug 30 2019 at 16:32) </li>
<li> <a href="topic/refactoring.20fact.20generation.html">refactoring fact generation</a> (2 messages, latest: Aug 26 2019 at 11:47) </li>
<li> <a href="topic/hi.20everybody.html">hi everybody</a> (7 messages, latest: Aug 19 2019 at 20:13) </li>
<li> <a href="topic/subset.20relations.20and.20polonius.html">subset relations and polonius</a> (173 messages, latest: Jul 09 2019 at 17:17) </li>
<li> <a href="topic/what.20to.20call.20regions.html">what to call regions</a> (12 messages, latest: Jul 03 2019 at 11:32) </li>
<li> <a href="topic/meeting.202019.2E07.2E02.html">meeting 2019.07.02</a> (87 messages, latest: Jul 03 2019 at 06:07) </li>
<li> <a href="topic/profiling.html">profiling</a> (76 messages, latest: Jul 01 2019 at 12:00) </li>
<li> <a href="topic/meeting.202019.2E06.2E25.html">meeting 2019.06.25</a> (78 messages, latest: Jun 25 2019 at 19:31) </li>
<li> <a href="topic/New.20guy.html">New guy</a> (5 messages, latest: Jun 25 2019 at 18:56) </li>
<li> <a href="topic/meeting.202019.2E06.2E11.html">meeting 2019.06.11</a> (114 messages, latest: Jun 24 2019 at 21:41) </li>
<li> <a href="topic/IncA.20program.20analysis.html">IncA program analysis</a> (7 messages, latest: Jun 19 2019 at 11:48) </li>
<li> <a href="topic/meeting.202019.2E06.2E04.html">meeting 2019.06.04</a> (174 messages, latest: Jun 11 2019 at 11:49) </li>
<li> <a href="topic/meeting.202019.2E05.2E28.html">meeting 2019.05.28</a> (77 messages, latest: Jun 04 2019 at 14:24) </li>
<li> <a href="topic/initialization.20meeting.html">initialization meeting</a> (37 messages, latest: May 31 2019 at 20:29) </li>
<li> <a href="topic/meeting.202019.2E05.2E21.html">meeting 2019.05.21</a> (9 messages, latest: May 21 2019 at 12:16) </li>
<li> <a href="topic/meeting.202019.2E05.2E14.html">meeting 2019.05.14</a> (135 messages, latest: May 15 2019 at 10:33) </li>
<li> <a href="topic/explaining.20polonius.html">explaining polonius</a> (5 messages, latest: May 09 2019 at 11:04) </li>
<li> <a href="topic/meeting.202019.2E05.2E07.html">meeting 2019.05.07</a> (72 messages, latest: May 07 2019 at 19:34) </li>
<li> <a href="topic/illegal.20subset.20relations.20polonius.2399.html">illegal subset relations polonius#99</a> (11 messages, latest: May 07 2019 at 19:20) </li>
<li> <a href="topic/meeting.202019.2E04.2E30.html">meeting 2019.04.30</a> (89 messages, latest: Apr 30 2019 at 19:55) </li>
<li> <a href="topic/location-insensitive.20to.20datafrogopt.html">location-insensitive to datafrogopt</a> (6 messages, latest: Apr 24 2019 at 19:02) </li>
<li> <a href="topic/hello.html">hello</a> (15 messages, latest: Apr 24 2019 at 11:37) </li>
<li> <a href="topic/meeting.202019.2E04.2E23.html">meeting 2019.04.23</a> (173 messages, latest: Apr 23 2019 at 23:12) </li>
<li> <a href="topic/benchmark.20suite.html">benchmark suite</a> (72 messages, latest: Apr 19 2019 at 19:44) </li>
<li> <a href="topic/meeting.202019.2E04.2E16.html">meeting 2019.04.16</a> (131 messages, latest: Apr 16 2019 at 19:41) </li>
<li> <a href="topic/new.20weekly.20meeting.20time.20slot.html">new weekly meeting time slot</a> (15 messages, latest: Apr 16 2019 at 17:55) </li>
<li> <a href="topic/sync.20up.html">sync up</a> (35 messages, latest: Apr 12 2019 at 17:46) </li>
<li> <a href="topic/meeting.202019.2E04.2E11.html">meeting 2019.04.11</a> (16 messages, latest: Apr 12 2019 at 07:24) </li>
<li> <a href="topic/polonius.20v0.2E7.2E0.20released.html">polonius v0.7.0 released</a> (10 messages, latest: Apr 10 2019 at 20:51) </li>
<li> <a href="topic/meeting.202019.2E04.2E04.html">meeting 2019.04.04</a> (2 messages, latest: Apr 04 2019 at 20:14) </li>
<li> <a href="topic/meeting.202019.2E03.2E28.html">meeting 2019.03.28</a> (2 messages, latest: Mar 28 2019 at 20:22) </li>
<li> <a href="topic/meeting.202019.2E03.2E21.html">meeting 2019.03.21</a> (71 messages, latest: Mar 21 2019 at 21:39) </li>
<li> <a href="topic/hybrid.20algorithm.20in.20rustc.html">hybrid algorithm in rustc</a> (23 messages, latest: Mar 20 2019 at 19:45) </li>
<li> <a href="topic/polonius.20walkthrough.html">polonius walkthrough</a> (11 messages, latest: Mar 15 2019 at 20:52) </li>
<li> <a href="topic/meeting.202019.2E03.2E14.html">meeting 2019.03.14</a> (163 messages, latest: Mar 14 2019 at 21:13) </li>
<li> <a href="topic/hybrid.20algorithm.20polonius.23100.html">hybrid algorithm polonius#100</a> (34 messages, latest: Mar 14 2019 at 20:13) </li>
<li> <a href="topic/compiler-team.20WG.20description.html">compiler-team WG description</a> (11 messages, latest: Mar 08 2019 at 23:25) </li>
<li> <a href="topic/meeting.202019.2E03.2E07.html">meeting 2019.03.07</a> (240 messages, latest: Mar 08 2019 at 22:09) </li>
<li> <a href="topic/roadmap.html">roadmap</a> (47 messages, latest: Mar 07 2019 at 15:54) </li>
<li> <a href="topic/finding.20perf.20spikes.html">finding perf spikes</a> (126 messages, latest: Feb 22 2019 at 19:37) </li>
<li> <a href="topic/regular.20meeting.20time.20and.20next.20steps.html">regular meeting time and next steps</a> (8 messages, latest: Feb 20 2019 at 04:27) </li>
<li> <a href="topic/discussing.20Polonius.20design.html">discussing Polonius design</a> (113 messages, latest: Feb 19 2019 at 23:20) </li>
</ul>

<hr><p>Last updated: Aug 07 2021 at 22:04 UTC</p>
</html>